MGI:3809481 Dkc1<delta15> Null/knockout Dkc1<tm1.1Pjma> targeted mutation 1.1, Philip J Mason http://identifiers.org/mgd/MGI:3809481